An implementation of the Gilbert, Johnson, and Keerthi (GJK) algorithm for tracking the distance between a pair of convex polyhedra. Source available for nonprofit use.
A centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and information systems.
International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.